Similarity Testing by Proof and Analysis of Partition for Object Oriented Specifications

The work presented in this paper is devoted to establish the theoretical model for the evaluation of the behavior of redefined methods in a subclass with the behavior of the original methods in the super-class using the inheritance mechanism. We analyze firstly, how a redefined method can use the specification of its corresponding method in the super-class. Secondly, we present the relationship between the test model of a redefined method in a subclass and the original method in a super-class. Our approach proposes a new concept which compares the behavior of methods, and gives the conditions where this comparison can induce a similar behavior. Keywords–Inheritance, Formal Specification, Conformity Test, Constraints Resolution, Valid Data, Invalid Data, Test Data Generation.